// execute(file, params, wait)

external_call(lib_execute, argument0, argument1, argument2)
